tuple Relational calculus in DBMS